For each prime p and for each positive integer n, there is, up to isomorphism, a unique finite field of order pn.